441. foundations of mathematics
المؤلف: Gupta , Parmanand
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G8F6
2008
442. روش های اثبات
المؤلف: ولمن Velleman دانیل ج. , Daniel J.
المکتبة: (کرمان)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics
رده :
QA
9
/
و
8
ر
9
1400
443. روش‌های اثبات
المؤلف: / تالیف دانیل ولمان,عنوان اصلی: How to prove it : a structured approach,2nd ed,2006.,ولمن,Velleman
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics,a01,a01,a02,a02
رده :
QA
۹
/
و
۸
ر
۹ ۱۳۹۸
444. فلسفه ریاضیات
المؤلف: دامت Dummett ، مایکل ا. ای. , Michael A. E.
المکتبة: (کرمان)
موضوع: ریاضیات, Mathematics, منطق ریاضی, Logic, Symbolic and mathematical
رده :
QA
8/4
/
د
2
ف
8
1397
445. فلسفه ریاضیات
المؤلف: مایکل دامت,دامت,Dummett
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: ریاضیات,Mathematics,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a02
رده :
QA
۸
/
۴
/
د
۲
ف
۸ ۱۳۹۶
446. مفهوم‌نگاشت
المؤلف: / گوتلوب فرِگه,فرگه,Frege
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics, -- فلسفه, -- Philosophy,a02,a01
رده :
QA
۹
/
ف
۴
م
۷ ۱۳۹۶
